My title
نویسندگان
چکیده
A non-deterministic recursion scheme recognizes a language of finite trees. This very expressive model can simulate, among others, higher-order pushdown automata with collapse. We show decidability of the diagonal problem for schemes. This result has several interesting consequences. In particular, it gives an algorithm that computes the downward closure of languages of words recognized by schemes. In turn, this has immediate application to separability problems and reachability analysis of concurrent systems.
منابع مشابه
My Baby’s Movements: a stepped wedge cluster randomised controlled trial to raise maternal awareness of fetal movements during pregnancy Short title: My Baby’s Movements Multi-Centre Trial
متن کامل
تب خال حاملگی
This paper is by Terry Kemp. She is a midwife with 10 years record of service. In this paper she speaks about her own experience which had burdened her in that condition. Herpes gestation is a rare condition and has been defined in books related to autoimmune gestation disease. If your reaction after reading the title of this paper was just shrugging your shoulders and accepting it as a viral i...
متن کاملWiley Encyclopedia of Electrical and Electronics Engineering Reconfigurable Computing
Reconfigurable Computing : Wiley Encyclopedia of Electric... http://www.mrw.interscience.wiley.com/emrw/9780471346081/eeee/ar... 1 of 1 7/9/2007 2:38 PM My Profile Log In Recommend to Your Librarian Save title to My Profile
متن کاملEvaluating Human Neural Tuning Curves From a Mechanical Model of the Cochlea by Relating Them to Psychophysical Masking Data
Human neural threshold tuning curves are estimated by scaling the parameters of Allen's [1] resonant tectorial membrane model of the cat cochlea. A way to evaluate the derived tuning curves using psychophysical data is developed, based on a psychophysical detection model which relates the physiological tuning curves to psychophysical masking data. A detection criterion, defined by a relationshi...
متن کاملDoes this study make my aorta look fat?
Running title: Kinlay; Does this study make my aorta look fat? Ca Ca Card rd rdio io iova a vasc sc scul l ular ar ar D D Div i ivis is isio io ion n n
متن کامل